软件项目管理系统开发

目前,在大型软件企业中,通常会有几个大的软件项目在同时进行,如何建立一个高效的软件项目管理系统来对软件生成过程和软件质量进行管理和控制已经成为一个日益重要的任务,本文主要从软件项目管理系统开发的背景、意义、功能、设计等几个方面进行论述,并详细介绍系统的任务管理、bug管理和用户认证三个方面。     

基于网络技术的实时协同设计并发控制策略研究

为了解决计算机辅助协同设计中重启动频繁、死锁等问题，建立了一种实时协同设计并发控制模型。针对协同设计中数据量大、事务长、多层嵌套的特点，采用操作优先权模糊控制策略。通过图形对象全局ID和实体属性表的一致性维护，系统能够根据运行情况和用户需求自动进行操作优先权控制策略的调整。建立了并发控制机制中事务结构、事务提交、锁机制和冲突协调的联系，事务发生改变后其它站点能够实时显示、实时读取有效数据。实例证明，并发控制策略不仅让协同用户自由地操作共享资源，还能够保证具有高并发率和数据的实时一致性。     

一种面向事务型数据库的无锁并发B+tree索引结构

为了克服现有多版本并发控制(MVCC)进行数据的并发访问控制中短暂阻塞的缺点,达到读写完全并发,提出了一种基于写时复制的多版本并发B+tree(BCMVBT)索引结构。BCMVBT通过复制分离读写的操作空间以使读写事务在任意时刻完全并发执行,规避比较与交换(CAS)操作带来的高CPU消耗,达到一写多读场景下的完全并发。同时针对现有多版本开发B+tree(MVBT)范围查询的复杂操作,提出了无锁的BCMVBT的范围查询算法和回收机制,从而实现了索引的插入、查询、更新与回收的无锁并发操作。通过与事务型MVBT(transaction MVBT)的对比,在读写并发环境下BCMVBT的时间消耗降低了50%,实验进一步表明BCMVBT在大事务的场景下具有更高的优势。     

A Deterministic Logical Semantics for Esterel

Esterel is a synchronous design language for the specification of reactive systems. There exist two main semantics for Esterel. On the one hand, the logical behavioral semantics provides a simple and compact formalization of the behavior of programs using SOS rules. But it does not ensure deterministic executions for all programs and all inputs. As non-deterministic programs have to be rejected as incorrect, this means it defines behaviors for incorrect programs, which is not convenient. On the other hand, the constructive semantics is deterministic (amongst other properties) but at the expense of a much more complex formalism. In this work, we construct and thoroughly analyze a new deterministic semantics for Esterel that retains the simplicity of the logical behavioral semantics, from which it derives. In our view, it provides a much better framework for formal reasoning about Esterel programs.     

RTDMiner: 基于数据挖掘的引用计数更新缺陷检测方法

在Linux内核等大型底层系统中广泛采用引用计数来管理共享资源.引用计数需要与引用资源的对象个数保持一致,否则可能导致不恰当引用计数更新缺陷,使得资源永远无法释放或者被提前释放.为检测不恰当引用计数更新缺陷,现有静态检测方法通常需要知道哪些函数增加引用计数,哪些函数减少引用计数.而手动获取这些关于引用计数的先验知识过于费时且可能有遗漏.基于挖掘的缺陷检测方法虽然可以减少对先验知识的依赖,但难以有效检测像不恰当引用计数更新缺陷这类路径敏感的缺陷.为此,提出一个将数据挖掘技术和静态分析技术深度融合的不恰当引用计数更新缺陷检测方法 RTDMiner.首先,根据引用计数的通用规律,利用数据挖掘技术从大规模代码中自动识别增加或减少引用计数的函数.然后,采用路径敏感的静态分析方法检测增加了引用计数但没有减少引用计数的缺陷路径.为了降低误报,在检测阶段再次利用数据挖掘技术来识别例外模式.在Linux内核上的实验结果表明,所提方法能够以将近90%的准确率自动识别增加或减少引用计数的函数.而且RTDMiner检测到的排行靠前的50个疑似缺陷中已经有24个被内核维护人员确认为真实缺陷.     

基于流水线模式的河系径流预报并发计算研究

在河系径流预报计算中,一方面受单站水文过程计算复杂性影响,另一方面下游站点依赖上游关联节点,现有洪水预报系统在河系预报计算时多采用串联模式进行计算。这在河流系预报节点较多、模型方法略为复杂时,计算效率较低。为突破河系径流预报计算效率瓶颈,本研究引入流水线并行模式,对河系径流预报站点初始化、单元产汇流计算、河道洪水演算、校正分析等模块进行拆解,构建流水线式工作站,将径流预报站点按水力联系连续入站,实现河系节点集径流过程的平行并发计算。选取淮河正阳关以上流域50余断面进行了模拟试验,结果表明：研究构建的并发计算方法计算结果可靠,较串行结构效率提升超3倍,可满足洪水预报实时性要求、尤其适用于B/S模式对系统响应效率的需求。     

基于高并发的分布式系统幂等设计

随着数字生活不断发展,分布式系统被广泛用来解决高并发等一系列问题。为了保证数据的准确性和一致性,分布式系统需要做幂等控制。通过分析对比各服务端幂等设计方法在高并发场景下的性能表现,提出一种改进的分布式锁设计方法。该方法主要解决由于集群服务主节点宕机可能造成分布式锁失效的问题,通过探讨RedLock算法方案及争论,提出对高并发请求二次拦截的理论,并将失效的锁通过消息队列服务进行通知,实现锁失效问题的排查以及服务监测治理。经实验测试表明,该方法实现了对失效锁的拦截,在高并发场景下有良好的性能表现,为分布式系统幂等设计提供了可行性方案。     

基于源代码扩展信息的细粒度缺陷定位方法

基于信息检索的缺陷定位技术,利用跨语言的语义相似性构造检索模型,通过缺陷报告定位源代码错误,具有方法直观、通用性强的特点.但是由于传统基于信息检索的缺陷定位方法将代码作为纯文本进行处理,只利用了源代码的词汇语义信息,导致在细粒度缺陷定位中面临候选代码语义匮乏产生的准确性低的问题,其结果有用性还有待改进.通过分析程序演化场景下代码改动与缺陷产生间的关系,提出一种基于源代码扩展信息的细粒度缺陷定位方法,以代码词汇语义显性信息及代码执行隐性信息共同丰富源代码语义实现细粒度缺陷定位.利用定位候选点的语义相关上下文丰富代码量,以代码执行中间形式的结构语义实现细粒度代码的可区分,同时以自然语言语义指导基于注意力机制的代码语言表征生成,实现细粒度代码与自然语言间的语义映射,从而实现细粒度缺陷定位方法FlowLocator.实验分析结果表明：与经典的IR缺陷定位方法相比,该方法定位准确性在Top-N排名、平均准确率及平均倒数排名上都有显著提高.     

一种利它锁协议及其操作原语

针对长事务在较长一段时间占有数据库资料,明显地延迟了短事务和普通事务的执行这一问题,对两步锁进行改进和扩充,给出一种利它锁协议及其操作原理,让长事务按一定的协议较早地释放其占用的锁,使需要存取这些被锁数据的事务在长事务处于唤醒状态时,遵循一定的锁规则同时运行。     

分布式环境下书目数据库的安全性问题

基于MicrosoftSQLServer 6 .5分布式数据库的完整性、安全性、并发性和故障恢复等机制 ,对分布式环境下书目的数据库安全性提出了一套有效的策略 ,并通过身份验证、利用视图等 7个方面来实现该系统的数据库安全性问题